翻訳と辞書
Words near each other
・ "O" Is for Outlaw
・ "O"-Jung.Ban.Hap.
・ "Ode-to-Napoleon" hexachord
・ "Oh Yeah!" Live
・ "Our Contemporary" regional art exhibition (Leningrad, 1975)
・ "P" Is for Peril
・ "Pimpernel" Smith
・ "Polish death camp" controversy
・ "Pro knigi" ("About books")
・ "Prosopa" Greek Television Awards
・ "Pussy Cats" Starring the Walkmen
・ "Q" Is for Quarry
・ "R" Is for Ricochet
・ "R" The King (2016 film)
・ "Rags" Ragland
・ ! (album)
・ ! (disambiguation)
・ !!
・ !!!
・ !!! (album)
・ !!Destroy-Oh-Boy!!
・ !Action Pact!
・ !Arriba! La Pachanga
・ !Hero
・ !Hero (album)
・ !Kung language
・ !Oka Tokat
・ !PAUS3
・ !T.O.O.H.!
・ !Women Art Revolution


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

coherence condition : ウィキペディア英語版
coherence condition

In mathematics, and particularly category theory a coherence condition is a collection of conditions requiring that various compositions of elementary morphisms are equal. Typically the elementary morphisms are part of the data of the category.
==An illustrative example: a monoidal category==

Part of the data of a monoidal category is a chosen morphism
\alpha_, called the ''associator'':
\alpha_ \colon (A\otimes B)\otimes C \rightarrow A\otimes(B\otimes C)
for each triple of objects A,B,C in the category. Using compositions of these \alpha_, one can construct a morphism
( \cdots ( A_N \otimes A_ ) \otimes A_ ) \otimes \cdots \otimes A_1) \rightarrow
( A_N \otimes ( A_ \otimes \cdots \otimes ( A_2 \otimes A_1) \cdots ).
Actually, there are many ways to construct such a morphism as a composition of various \alpha_. One coherence condition that is typically imposed is that these compositions are all equal.
Typically one proves a coherence condition using a coherence theorem, which states that one only needs to check a few equalities of compositions in order to show that the rest also hold. In the above example, one only needs to check that, for all quadruples of objects A,B,C,D, the following diagram commutes

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「coherence condition」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.